i >> a
== Trans(i):k:Kndkindtype(i;k)state@istate@i>>a
==  Send(i):k:Kndkindtype(i;k)state@i(Msg List)>>a
==  Choose(i):b:Idstate@i(kindtype(i;locl(b))+Unit)>>a 

latex

---

clarification:

es-atom(es;i;a)
== es-trans(es;i):k:Kndes-kindtype(es;i;k)es-state(es;i)es-state(es;i)>>a
==  es-send(es;i):k:Kndes-kindtype(es;i;k)es-state(es;i)(es-Msg(es) List)>>a
==  es-choose(es;i):b:Ides-state(es;i)(es-kindtype(es;i;locl(b))+Unit)>>a 

latex

Definitions	Trans(i), P  Q, Knd, type List, Msg, Send(i), x:T>>a, Id, x:AB(x), state@i, left+right, kindtype(i;k), locl(a), Unit, Choose(i)
FDL editor aliases	es-atom